On the Functor ℓ2
نویسنده
چکیده
We study the functor `2 from the category of partial injections to the category of Hilbert spaces. The former category is finitely accessible, and both categories are enriched over algebraic domains. The functor preserves daggers, monoidal structures, enrichment, and various (co)limits, but has no adjoints. Up to unitaries, its direct image consists precisely of the partial isometries, but its essential image consists of all continuous linear maps between Hilbert spaces.
منابع مشابه
An application of expanders to B(ℓ2) ⊗ B(ℓ2
With the help of Kirchberg’s and Selberg’s theorems, we prove that the minimal tensor product of B(l2) with itself does not have the WEP (weak expectation property) of Lance.
متن کاملFundamental Functor Based on Hypergroups and Groups
The purpose of this paper is to compute of fundamental relations of hypergroups. In this regards first we study some basic properties of fundamental relation of hypergroups, then we show that any given group is isomorphic to the fundamental group of a nontrivial hypergroup. Finally we study the connections between categories of hypergroups and groups via the fundam...
متن کاملDirect Limit of Krasner (m, n)-Hyperrings
The purpose of this paper is the study of direct limits in category of Krasner (m, n)-hyperrings. In this regards we introduce and study direct limit of a direct system in category (m, n)-hyperrings. Also, we consider fundamental relation , as the smallest equivalence relation on an (m, n)-hyperring R such that the quotient space is an (m, n)-ring, to introdu...
متن کاملCohen-Macaulay-ness in codimension for simplicial complexes and expansion functor
In this paper we show that expansion of a Buchsbaum simplicial complex is $CM_t$, for an optimal integer $tgeq 1$. Also, by imposing extra assumptions on a $CM_t$ simplicial complex, we provethat it can be obtained from a Buchsbaum complex.
متن کاملOn categories of merotopic, nearness, and filter algebras
We study algebraic properties of categories of Merotopic, Nearness, and Filter Algebras. We show that the category of filter torsion free abelian groups is an epireflective subcategory of the category of filter abelian groups. The forgetful functor from the category of filter rings to filter monoids is essentially algebraic and the forgetful functor from the category of filter groups to the cat...
متن کامل